The strength of compactness for countable complete linear orders
نویسندگان
چکیده
منابع مشابه
The Proof-theoretic Strength of the Dushnik-miller Theorem for Countable Linear Orders
We show that the Dushnik-Miller Theorem for countable linear order-ings (stating that any countable linear ordering has a nontrivial self-embedding) is equivalent (over recursive comprehension (RCA 0)) to arithmetic comprehension (ACA 0). This paper presents a result in reverse mathematics, a program initiated by H. Friedman and S. Simpson, trying to determine the weakest possible \set-theoreti...
متن کاملCountable Choice and Compactness
We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak topology in ZF). We prove that this ball is (closely) convex-compact in the convex topology. Given a set I, a real number p ≥ 1 (resp. p = 0), and some closed subse...
متن کاملUniversal Countable Borel quasi-Orders
In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal in [8] for the study of analytic equivalence relations, we study countable Bo...
متن کاملCOUNTABLE COMPACTNESS AND THE LINDEL¨OF PROPERTY OF L-FUZZY SETS
In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...
متن کاملCompactness in Countable Tychonoff Products and Choice
We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computability
سال: 2020
ISSN: 2211-3576,2211-3568
DOI: 10.3233/com-190262